.ace_editor > .ace_gutter {
    display: block !important; // display even with aria-hidden
}
.ace_editor .ace_qweb {
    color: orange !important;
}
.ace_editor .ace_code {
    color: fuchsia !important;
}
.ace_editor.ace-monokai .ace_qweb {
    color: lightblue !important;
}
.ace_editor.ace-monokai .ace_code {
    color: #c94bc9 !important;
}
